How do you type cast a char to an int